package flowlogic;

import java.util.HashSet;

import ast.Term;

public class ResNode extends Node {

	private HashSet<Term> terms;
	
	public ResNode()
	{
		terms = new HashSet<Term>();
	}
	
	public ResNode(HashSet<Term> trm)
	{
		terms = trm;
	}
	
	public HashSet<Term> getTerms()
	{
		return terms;
	}
	
	public String toString()
	{
		String res = "res" + "(" + this.hashCode() + ")";
		return res;
	}
}
